package interfaces.managers;

import interfaces.IIncidencia;
import interfaces.IRespuesta;
import interfaces.ITecnico;
import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

@Init ({""})
@Inv ({""})

public interface ICreadorRespuestasIncidencias {
	@Pre ({"i != null && r != null && t != null #NullPointerException"})
	public boolean creaRespuestaIncidencia(IIncidencia i, IRespuesta r, ITecnico t);
}
